212 votes for Mike Johnson to be Speaker on first ballot?

The election for the 2025 Speaker of the United States House of Representatives is scheduled to take place on January 3, 2025, on the opening day of the 119th United States Congress. This market will resolve to "Yes" if there are exactly 212 votes for Mike Johnson in the first ballot cast for US Speaker of the House. Otherwise, this market will resolve to "No". If a person other than Mike Johnson is elected on the first ballot via a procedure that does not produce a recorded tally of votes, the "210 or less" market will resolve to "Yes". If Mike Johnson is elected on the first ballot via a procedure that does not produce a recorded tally of votes, the "220 or more" market will resolve to "Yes". The primary resolution source for this market will be information from the US government, however a consensus of credible reporting may also be used.