Mike Johnson out as Speaker by...?

This market will resolve to "Yes" if Mike Johnson announces that he will resign from his position as Speaker of the US House of Representatives, or otherwise ceases to be Speaker for any length of time, between April 9, and December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". Note that an annou…