«Estamos al tanto de los informes sobre ataques al «USS Carney» y a buques comerciales en el Mar Rojo y proporcionaremos información a medida que esté disponible», dijo el Pentágono.