Gulf of Mexico or Gulf of America? Here’s what Google Maps will say

Trump’s executive order, signed on inauguration day, directed that 'the area formerly known as the Gulf of Mexico … officially be renamed the Gulf of America.'