Las Fuerzas Armadas de Estados Unidos bombardearon este domingo posiciones de milicias apoyadas por Irán en zonas fronterizas entre Siria e Irak, informó el portavoz del Pentágono, John Kirby, que no precisó si hubo víctimas.