CIA ends publication of its popular World Factbook reference tool