 Good afternoon, everybody. I'm Kyle Cooper. And I'm Anne Kramer. Our top story this hour, Donald Trump has officially won the Republican nomination for president after the delegates voted in Milwaukee, and he has chosen Ohio Senator J.D. Vance as his running mate. Reaction continues to the weekend attempted assassination of former President Trump. WTOP's Nick Ionelli talked with a prominent anti-Trump Maryland Republican. It was a tragic tragedy.