Will U.S. summer tourism decline in 2025?

There were 15,965,529 foreign arrivals in Summer 2024 (June: 4,695,670, July: 5,519,399, August: 5,750,460) according to U.S. International Air Travel Statistics. (see: https://www.trade.gov/us-international-air-travel-statistics-i-92-data) This market will resolve to "Yes" if the total visitors to the U.S. for Summer 2025 is less than 15,965,529. Otherwise, this market will resolve to "No". The resolution source for this market will be U.S. International Air Travel Statistics (I-92 data), specifically, the value associated with "Foreign Originating" for June, July and August 2025 under "Monthly Data" at https://www.trade.gov/us-international-air-travel-statistics-i-92-data. If the data for the listed months is not available, by December 31, 2025, 11:59 PM ET, this market will resolve to "No".