 By the way, I'm hearing now that the former president has officially selected Ohio Senator J.D. Vance as his running mate. It's official now. It's kind of what I was anticipating. Mr. Trump's announcement came online moments ago, and it's just days after his assassination attempt, of course, in Pennsylvania. Vance was elected to the Senate in 2022 and represents a key swing state in the 2024 race. Just a little bit of an aside from the discussion about Saturday's assassination attempt.