Well, the "Gulf of America" nonsense is also shown here, in brackets after "Gulf of Mexico." So it seems like they're not content with just keeping it to the US as originally stated.
> Also longstanding practice: When official names vary between countries, Maps users see their official local name. Everyone in the rest of the world sees both names. That applies here too.
