Will Zohran Mamdani be deported before November?

This market will resolve to "Yes" if Zohran Mamdani is officially deported from the United States by October 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No." Deportation is defined as the formal removal of Zohran Mamdani from the US by government authorities due to legal or administrative reasons. Voluntary departure, extradition, or relocation without an official deportation order will not count. The resolution source will be credible reporting from major news outlets or official government statements.