Which president was the only one to serve two non-consecutive terms before Trump?