Jared Polis out as Governor of Colorado?

Before Jan 2027 If Jared Polis leaves as Governor of Colorado before X 1, Y then the market resolves to Yes. Jared Polis must have an actual departure date and vacate the role within the time period. If the person leaves the role due to death, i.e., if the person dies while holding the role, all contracts on the person may resolve to the last fair price as determined in the sole discretion of the Exchange. Temporary leaves of absence, suspensions, or recusals do not constitute leaving, resignin