Last week, with a slash of his Sharpie, President Donald Trump decreed that the gulf shall henceforth be known as the Gulf of America. But it's unclear how well that notion will float.Start the day smarter.

Google said it would follow the Trump administration in renaming the Gulf of Mexico once the new name is updated in government sources.

Google claims it is “also longstanding practice” to show local Google Maps users the official local name of particular landmarks. That means U.S. users will see “Gulf of America” while Mexican users will still see “Gulf of Mexico.” “Everyone in the rest of the world sees both names,” according to the social media post.