Background On January 15, 2024, President Trump signed an executive order renaming the Gulf of Mexico to the "Gulf of America." This decision has sparked international discussion and some controversy. Presidents have the authority to change geographic names through executive orders, and subsequent presidents can modify or reverse such decisions.

Resolution Criteria This market will resolve YES if the next president of the United States (after Donald Trump) issues an executive order or takes other official action to revert the name "Gulf of America" back to "Gulf of Mexico" during their presidency. The market will resolve NO if:

• The next president does not take any action to change the name back

• The next president makes a different name change

• The next president maintains "Gulf of America" as the official name

For resolution purposes, "next president" refers to the person who takes office after Donald Trump's current term, whether that occurs in 2025 or earlier due to unforeseen circumstances.

Considerations

• While the U.S. can change internal references, international recognition may vary, with many countries potentially continuing to use "Gulf of Mexico"

• The name change and any potential reversion primarily affects U.S. government documents, maps, and official communications

• Historical precedent exists for geographic name changes and reversions by different administrations, such as the Denali/Mount McKinley case