Un buque de guerra de EEUU y varios barcos comerciales atacados en el mar Rojo por terroristas hutíes