 AP News, I'm Ben Thomas. At the Republican National Convention, House Speaker Mike Johnson making it official. 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. A federal judge in Florida has dismissed Donald Trump's classified documents case.