MapQuest, meanwhile, has stayed strong. The company also resisted the Gulf of Mexico fiasco, opting not to make the change despite GNIS officially updating the name to Gulf of America. Instead, the company released a Gulf Name Generator that allowed users to make up their own gulf name.

An executive for the bygone app explains the “surreal” surge of users after it refused to capitulate to Trump’s plan to rename Lake Ontario.