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

This market will resolve to "Yes" if Donald Trump publicly announces, that the United States will officially refer to the Strait of Hormuz as the "Strait of Trump" or "Trump Strait" or any equivalent name which includes "Trump" by May 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No". The primary resolution source for this market will be official information from Donald Trump however, a consensus of credible reporting may also be used.