El director de Inteligencia de EEUU cifra en 7.000 el número de extranjeros combatiendo en Siria