Dos buques de EEUU con base en Rota participaron en el ataque contra una base en Siria