After President Donald Trump’s executive order to rename the Gulf of Mexico as the Gulf of America, there's been a simmering ...