Will U.S. summer tourism decline in 2025?

Rules

According to U.S. International Air Travel Statistics
there were 15,965,529 foreign arrivals in Summer 2024:
June: 4,695,670,
July: 5,519,399,
August: 5,750,460.
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 2025-12-31 17:00 UTC,
this market will resolve to "No".