Trump travel ban on more countries before July?

On June 4, 2025, President Donald Trump issued a proclamation titled “Restricting the Entry of Foreign Nationals to Protect the United States from Foreign Terrorists and Other National Security and Public Safety Threats”, which suspends or limits the entry of nationals from 19 countries (see: https://www.whitehouse.gov/presidential-actions/2025/06/restricting-the-entry-of-foreign-nationals-to-protect-the-united-states-from-foreign-terrorists-and-other-national-security-and-public-safety-threats/). This market will resolve to "Yes" if Donald Trump issues any executive order, signs any bill into law, or if the Trump administration otherwise takes any formal action which is aimed at restricting or banning travel to the United States from specific countries between June 5, and June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". Any qualifying government action will qualify for a "Yes" resolution, regardless of when the policy is enacted. However, announcements of future or planned bans will not alone qualify. Any action meeting these criteria will count, even if its implementation is immediately halted or delayed by judicial or other actions. The primary resolution source for this market will be information from the US federal government; however, a consensus of credible reporting will also be used.