With the United States now recognizing the Gulf waters as the “Gulf of America” and not the “Gulf of Mexico,” digital map creators are deciding how best to reflect the name change for their users.