Before President Donald Trump, the most high-profile call to change the name of the Gulf of Mexico came from Stephen Colbert, ...