President Trump has used executive orders to rename several prominent geographic features for federal use, including the Gulf of Mexico to the Gulf of America, Denali to Mount McKinley, and Lake Ontario to Lake America in August 2026 amid trade tensions with Canada. Public comments at an October 2026 rally have centered on larger border waters or “America”-themed titles rather than personal designations for inland Florida lakes. No legislative proposals, administrative signals, or coordination with the U.S. Board on Geographic Names have emerged for Lake Okeechobee, driving trader consensus toward a 96% implied probability of “No.” A last-minute executive action or Board on Geographic Names update before December 31, 2026, remains the primary scenario that could alter the outcome.
This market will resolve to "Yes" if Donald Trump issues any executive order, or signs any bill into law, or otherwise officially renames Lake Okeechobee to "Trump Lake," "Lake Trump" or similar by December 31, 2026, at 11:59 PM ET. Otherwise, this market will resolve to "No." If the U.S. Board on Geographic Names (BGN) renames Lake Okeechobee accordingly this will qualify for a "Yes" resolution. This market's resolution source will be official information from the Trump administration or the U.S. Board on Geographic Names, however a consensus of credible reporting stating that the US Government has renamed Lake Okeechobee to "Trump Lake," "Lake Trump" or similar will suffice.