 House Speaker Mike Johnson. And later in the session, the chosen vice presidential candidate by former President Trump, now the nominee for president, Senator J.D. Vance, Republican from Ohio, by acclamation became officially the vice presidential nominee. And so the ticket is set this year for the Republican Party, Donald Trump as the presidential nominee and Senator J.D. Vance as the vice presidential nominee. They will be giving their speeches later this week. It's a four-day convention.