Jimmy Carter, SSN-23