This market will resolve to “Yes” if Zohran Mamdani ceases to be the mayor of New York City for any period of time between taking office and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to “No”. If Zohran Mamdani doe…