From the July 17, 2024, edition of CNN's coverage of the Republican National Convention