Trump travel ban removed before July?

This market will resolve to "Yes" if any country named in President Donald Trump’s June 4, 2025 proclamation titled “Restricting the Entry of Foreign Nationals to Protect the United States from Foreign Terrorists and Other National Security and Public Safety Threats” is officially removed from the list of countries subject to full or partial entry suspensions by June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". A country will be considered "removed" if any of the following occur: - The President or Executive Branch formally revokes or modifies the proclamation to remove the country - A federal court issues a final ruling or permanent injunction that blocks the restrictions for that country - Congress passes legislation lifting the restrictions for that country - A relevant federal agency (e.g. DHS, State Department) issues official guidance or updates visa policy indicating the country is no longer subject to restrictions - Nationals of the country resume receiving visas under categories that had been suspended, without case-by-case waivers The following do not count as a country being removed: - Temporary restraining orders or preliminary injunctions (unless later made permanent) - Delays in enforcement, individual exemptions, or case-by-case waivers - Diplomatic negotiations or public statements about potential future removal without official action - Partial easing that still imposes core restrictions (e.g. resuming B-1/B-2 visas while immigrant visas remain banned) The resolution source for this market will be a consensus of credible reporting and official government communications.