I suspect it’ll remain the gulf of Mexico. Google displays maps in local languages based on your IP, so I assume they’d use the name your country accepts. If you log in from Japan you see the sea of Japan to the west, but if you log in from Korea it’s called the east sea