Сообщается, что французский флагманский корабль «Шарль де Голль» был направлен в Красное море