Según el Pentágono: buque de guerra de EE.UU. y varios barcos sufren ataque en el Mar Rojo Mundo 3 diciembre, 2023
