Will Rumeysa Ozturk be deported before July?

This market will resolve to "Yes" if Turkish student Rumeysa Ozturk 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 Ozturk 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.