 And former President Trump has selected Ohio U.S. Senator J.D. Vance to be his running mate. He made the announcement on social media earlier this afternoon. Vance was elected to the Senate in 2022. And at the state capitol today, Senate Republicans caucused behind closed doors. And they elected Senator Lonnie Paxton of Tuttle to be leader of the state Senate next session. A formal vote by the full Senate will come in January.