News

Trump had signed an executive order to rename the Gulf of Mexico, but it carries authority only within the US.