John Warner, SSN-785