The world's only nuclear-powered aircraft carrier outside the United States: The Charles de Gaulle