 In my background, 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.