Sea Devil, SSN-664