Gustavo Petro out as leader of Colombia by June 30?

This market will resolve to “Yes” if Gustavo Petro ceases to be President of Colombia for any period of time between market creation and the specified date (ET). Otherwise, this market will resolve to “No”. An announcement of Gustavo Petro'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. If the specified individual is detained, effectively removed from the specified position