Hope she wins. It's the Gulf of Mexico on international and navigation maps. An international maritime commission governs names of international water bodies. Trump has to file application for name change. US Board of Geographic Names has approved name change for US only maps.