Pentágono ataca al Estado Islámico en Siria tras la muerte de tres estadounidenses