Will a Republican who is not Mike Johnson be elected Speaker of the U.S. House when the 120th Congress convenes in January 2027?