Since then, Microsoft’sBing Mapshas also made the change.

One maps site, MapQuest,still labels the Gulf as the Gulf of Mexico as of Feb. 18.

A representative for Mapquest didn’t immediately respond to a request for comment.

A representative for Apple didn’t respond to a request for comment.

On Feb. 10, Googlepublished a blog postletting users know what they will see in its software.