Menswear Guy deported before August?

This market will resolve to "Yes" if Derek Guy (@dieworkwear) is officially deported from the United States by July 31, 2025 ET. Otherwise, this market will resolve to "No". Deportation is defined as the formal removal of Guy 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.