Hyman G Rickover, SSN-709