Comment by loeg

Google displays different names for contested places in different polities. Of course it should show Mexico its preferred "Gulf of Mexico." It can still show US users the current US name.