 And then later, the Republican leaders from the House of Representatives, House Speaker Mike Johnson, Majority Leader Steve Scalise, Majority Whip Tom Emmer, and Republican Conference Chair Elise Stefanik.