If this had been Charles de Gaulle we would never hear the end of it. Of course, they also had to cut up the hull of USS Ronald Reagan to replace part of the engine (IIRC) last year after it had been destroyed by the crew.