Alerta en el mar Rojo: el Pentágono avisa de posibles fugas en un petrolero atacado por los hutíes