This market will resolve to "Yes" if Donald Trump or the Trump administration 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 December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".