The Trump administration has shut down the CIA World Factbook, and there's much lamenting about the demise of a free source that many people used to check basic facts about countries.