 I'm Matt Piper in Milwaukee. So far here at the Republican National Convention, the big news, Donald Trump secures enough votes to be nominated for president for his party for a third time. And he's also chosen a running mate. Pursuant to Rule 40D of the rules of the Republican Party, I formally declare President Donald J. Trump and J.D. Vance as the Republican nominees for president and vice president of the United States.