Japan prime minister Ishiba out before July?

This market will resolve to “Yes” if Shigeru Ishiba ceases to be the Prime Minister of Japan for any period of time between February 9 and June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to “No”. An announcement of Shigeru Ishiba'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 the government of Japan, however a consensus of credible reporting will also suffice.