CIA geht von 20.000 ausländischen IS-Kämpfern aus