Claudia Sheinbaum out as President of Mexico by July 31?

This market will resolve to “Yes” if Claudia Sheinbaum ceases to be President of Mexico for any period of time between market creation and the specified date (ET). Otherwise, this market will resolve to “No”. An announcement of Claudia Sheinbaum's resignation/removal before this market's end date will immediately resolve this market to "Yes", regardless of when the announced resignation/removal goes into effect. The resolution source for this market will be official information from Claudia Sheinbaum and the government of Mexico; however, a consensus of credible reporting may also be used.