<human>: Question: What is another name for the French Navy?

Is "Charles de Gaulle is a 42,000 tonne nuclear-powered aircraft carrier, commissioned in 2001 and is the flagship of the French Navy (Marine Nationale)." the correct answer?

OPTIONS:
- yes
- no
<bot>: yes