Which countries will send warships through the Strait of Hormuz by December 31?

This market will resolve to "Yes" if a national government, its military, or a broad consensus of credible reporting confirms that the listed country's warships transited through the Strait of Hormuz between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to “No”. A "warship transit" is defined as a military vessel passing through the Strait of Hormuz. Military cargo or support vessels will be considered “warships”; however, commercial or civilian vessels will not qualify. For the purposes of this market, only transits through the Strait of Hormuz will be considered, defined as passage through the narrowest portion of the waterway between Iran and Oman. Operations solely in the Persian Gulf, Gulf of Oman, or Arabian Sea without passage through this narrowest section will not qualify. Official confirmation by a national government or its military that its vessels transited through the Strait of Hormuz during the specified timeframe will resolve this market immediately. An overwhelming consensus of credible reporting confirming that such a transit occurred during the specified timeframe will also suffice. Qualifying confirmations must be made within this markets above specified timeframe and include official announcements that a country has deployed naval vessels to transit or escort shipping through the Strait of Hormuz. … (condensed)