The official name in the GNIS for that body of water is the Gulf of America. So what name should Apple and Google Maps use for US users? What do the map compan

The official name in the GNIS for that body of water is the Gulf of America. So what name should Apple and Google Maps use for US users? What do the map companies call the Islas Malvinas? Or the East Sea? How about the Gulf of California? Or the Sea of Cortez? How about Mt Everest? If a Mexican mapping tech company wants to call it the Gulf of Mexico, that’s their right.