Trump’s geographic renaming plans leave mapmakers pondering what to do next