President Donald Trump signed an executive order last week requiring the federal government to change the name of the Gulf of ...