President Trump signed an executive order demanding that many landmarks change their names, including the Gulf of Mexico, but ...