Unos 10.000 ciudadanos de Rusia y países aliados combaten en Siria