Trump, and Google calling Gulf of Mexico the Gulf of America, doesn't make it one whit less the Gulf of Mexico, people.