If Donald Trump ends up back in the White House, it would make him the first president since Grover Cleveland in 1893 to serve two non-consecutive terms.