This market will resolve to “Yes” if Lee Jae-myung ceases to be the President of South Korea for any period of time between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to “No”. An announcement of Lee Jae-myung'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, or otherwise permanently prevented from fulfilling the duties of the specified posit