Comes down to the language/data of the user I guess
Comment on In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
adespoton@lemmy.ca 1 week ago
Persian Gulf or Gulf of Iran?
A_Union_of_Kobolds@lemmy.world 1 week ago
SomethingBurger@jlai.lu 1 week ago
I just checked, and OSM has it as Persian Gulf, with the alternative name Arabian Gulf.