 That speaker of the House, Mike Johnson, who quickly rushed off stage when that happened. The House band played for more than 45 minutes while technicians worked to fix the problem. But once they did... I formally declare President Donald J. Trump and J.D. Vance as the Republican nominees for President and Vice President of the United States. And Bill Brooks, Skagit County GOP Chair and Washington State Delegate, is thrilled. I think it's fantastic. He was my first pick. He's extremely tough, very smart guy. We're very happy with J.D. Vance. Great pick.