Trump announces end of military operations against Iran before July?

This market will resolve to "Yes" if the US government or military publicly and officially announces that its military operations against Iran, initiated on June 21, 2025, have concluded by June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to “No”. Qualifying statements must clearly indicate that the operation has ended. Informal announcements, statements from unnamed sources or leaks will not qualify.