 This is WTOP News. Facts matter. This hour of news is brought to you by Lido Pizza. Lido Pizza never cuts corners. Good evening, I'm Anne Kramer. And I'm Kyle Cooper coming up. Intense heat gives way to intense thunderstorms in the central part of the WTOP listening area. Stay with Washington's weather station for the very latest. Former President Trump formally gets his third Republican presidential nomination and chooses Ohio Senator J.D. Vance as his running mate.