US House of Representatives speaker Mike Johnson.