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 of water to have different names according to different countries.