The CIA's Investment Portfolio includes Dataminr, Kensho, and Docker | Fortune