Poinformowano, że francuski okręt flagowy „Charles de Gaulle” został wysłany na Morze Czerwone