President Donald Trump's decision to rename the Gulf of Mexico is more than just geographical ... that "when official names vary between countries, Maps users see their official local name ...