Jung Chung-rae out as DP leader by...?

This market will resolve to “Yes” if Jung Chung-rae ceases to be the leader of the Democratic Party of Korea for any period of time between market creation and June 30, 2026, 11:59 PM ET. Otherwise, this market will resolve to “No”. An announcement of Chung-rae’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 position within this market’s timeframe, it will qualify for a “Yes” resolution. The resolution source for this market will be official information from Jung Chung-rae and the Democratic Party of Korea; however, a consensus of credible reporting may also be used.