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