USS_Texas_(CGN-39)_and_Soviet_AGI_Kareliya_(SSV-535)_1988