 This is WTOP News. Facts matter. This hour of news is brought to you by Lido Pizza. Lido Pizza never cuts corners. Good afternoon. I'm Kyle Cooper. I'm Anne Kramer. Coming up. Breaking news on WTOP. Former President Trump has chosen Ohio Senator J.D. Vance as his running mate. In 2016, Vance spoke strongly against Trump during his first run for the White House.