Google and Microsoft have also changed the gulf’s name in their respective map apps