USS Truxtun CGN-35 1980 Diego Garcia