Mexican president pushes back against Google's renaming of Gulf of Mexico | TechCrunchGoogle Maps to rename Gulf of Mexico as Gulf of America per Trump's order.Mexico objects to this renaming and will formally question Google.