I’m not sure what people expected. Apple maps renamed the gulf as well. Every commercial map service has to do it as it’s a regional law. Americans should be upset and their broken politics not Google.