U.S. House Speaker Mike Johnson.