Ruben Gallego out as Senator?

Before Jan 2027 If Ruben Gallego leaves as Senator before X Y 2026, then the market resolves to Yes. Ruben Gallego 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, resigning from