Will Mahmoud Khalil be deported before July?

This market will resolve to "Yes" if Palestinian student Mahmoud Khalil is officially deported from the United States by June 30, 2025 ET. Otherwise, this market will resolve to "No". Deportation is defined as the formal removal of Khalil 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.