Se ha informado de que el buque insignia francés Charles de Gaulle ha sido desplegado en el Mar Rojo