Siria bombardea posiciones del ISIS en su frontera con Irak