The Gulf of Mexico is officially no more. After President Trump signed an Executive Order to change the name of the Gulf of Mexico to the Gulf of America. Google maps has made the change and now the Gulf of Mexico is officially the Gulf of America.
See omnystudio.com/listener for privacy information.