What was jimmy carter operated on for while serving as president?