Trump announces end of military operations against Iran by July 15?

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 between June 23, 3:00 PM ET and July 15, 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.