Jimmy Carter was a former president of the United States.