CIA doubles estimate of ISIS fighters in Iraq and Syria