This market will resolve to "Yes" if Donald Trump issues any executive order to, or signs any bill into law to, or otherwise takes action to officially rename any ocean by December 31, 2026, at 11:59 PM ET. Otherwise, this market will resolve to "No." For the purposes of this market, the oceans are defined as: the Atlantic Ocean, the Pacific Ocean, the Indian Ocean, the Arctic Ocean, and the Southern/Antarctic Ocean. Officially renaming any one of these five oceans is sufficient for a "Yes" resolution, regardless of the new name chosen. Renaming a subdivision of one of these oceans, such as...