 Former President Trump will have named his running mate. I'm comfortable with them all. I would prefer Mike Pompeo or Tom Cotton, truth be told. But Doug Burgum would be fine. Glenn Youngkin would be fine. They're all fine. Marco Rubio's got the 12th Amendment problem. Who do you think it's going to be? I like to get everyone's prediction on the record.