Trump renames Strait of Hormuz to "Strait of Trump" by June 30?

About

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…