James K Polk, SSBN-645