House Republican leader race: who will run?

If Jim Jordan has announced that they will run for House Republican leader for the 120th Congress in 2026 after Issuance and before Jan 1, 2027, including running for the nomination of any political party to contest that office, then the market resolves to Yes.