Meanwhile, in the US, Google has gone ahead and renamed the Gulf of Mexico as the Gulf of America.