Maestrale (F 570), De Grasse (D 612); USS John C. Stennis (CVN 74), Charles De Gaulle (R 91), Surcouf (F 711); USS Port Royal (CG-73), HMS Ocean (L 12), USS John F. Kennedy (CV 67), HNLMS Van Amstel (F 831); and ITS Luigi Durand de la Penne (D 560). A navy is