 Reporting from the RNC in Milwaukee, it is Elizabeth Pitko. We appreciate you calling in. We just found out a little while ago, J.D. Vance, the senator out of the great state of Ohio, is now Trump's pick to be the Republican vice presidential nominee going into November. Give us your thoughts about that. First of all, was it a secret from everybody? Did you guys kind of know? Or was this news to everybody when he announced it?