Speaker Johnson declares Trump official Republican nominee for president, 2024 RNC Day 1, 15 July 2024