Trump renames Strait of Hormuz to "Strait of Trump" by May 31?

No evidence of any official announcement by Trump that the US will officially refer to the Strait of Hormuz as 'Strait of Trump' or equivalent; references found are only to jokes and quips, such as the March 27, 2026 speech slip, which do not meet the strict criteria requiring an announcement of official US reference. The market is correctly priced with No at 97.3¢ reflecting near-certainty, and buying No offers a small but verifiable edge on the consensus side with low risk given the literal resolution rules and burden on Yes. High volume and neutral smart money do not contradict, and with one month left, the annualized return exceeds thresholds for approval.

Web searches confirm no official announcement from Trump or consensus reporting of the US officially renaming the Strait of Hormuz to 'Strait of Trump' or equivalent; recent mentions, such as at the FII Priority Summit, were jokes immediately corrected as mistakes. The market's 97% No price reflects near-certainty of No resolution per strict criteria (public announcement of official US referral), making the 3% edge on No actionable with low risk over the short timeframe to May 31. Category 'absurd' is accurate, and neutral smart money does not contradict.

No official announcement from Trump that the US will officially refer to the Strait of Hormuz as 'Strait of Trump' or equivalent exists; all references are to a March 27, 2026 joke predating the market open, confirmed via web and X searches showing no post-April 17 developments. The strict criteria require a public announcement of official US renaming, unmet by jokes or satire, making 'No' resolution near-certain under literal rules with primary source unmet and no credible consensus. At 97.3¢, Buy No offers a high-certainty edge with P(No) ≈99%+ over 1 month.