 Well, that was just an hour ago, and we are just receiving word that Mr. Trump has signaled he will choose the Ohio Senator J.D. Vance as his running mate. For more on all of this, let's speak with our correspondent, Nada Tofik, who joins us from Milwaukee. Nada, we're just getting word that J.D. Vance is the choice. What do you make of that?