Can Trump Change the Name of the Gulf of Mexico?

Presidential naming powers usually halt astatine the water’s edge.