Google says it will rename the Gulf of Mexico on its U.S. maps, and Mexico is pushing back. This wouldn't be the first body ...