 has died. And it didn't take long for Mike Johnson, Speaker of the House, to walk off stage. So they're working out those technical difficulties now. The other thing that came out just about a half hour, hour or so ago was the announcement of the running mate. J.D. Vance of Ohio is going to be the vice presidential pick for Donald Trump.