Will Mike Johnson be the first elected Speaker of the House for the 119th congress?

This market will resolve to "Yes" if Mike Johnson becomes the first-elected Speaker of the House in the 119th United States Congress. Otherwise, this market will resolve to "No". Any individual elected to be, appointed to be, or serving as Speaker pro tempore in the 119th congress will have no bearing on the resolution of this market. Only the first-elected Speaker of the House will count toward the resolution of this market. If the election for the first Speaker for the 119th Congress is not finalized by June 30, 2025, 11:59 PM ET, this market will resolve to "No". The primary resolution source for this market will be official information from the government of the United States of America (ex: https://www.speaker.gov/, https://www.house.gov/), however credible reporting may be used.