Pentágono en alerta: Buque de guerra gringo y varios barcos comerciales fueron atacados en el mar Rojo