“The French aircraft carrier Charles de Gaulle has been deployed to the Red Sea as part of a maritime coalition effort.”