While Grover Cleveland was the 22nd and 24th president, in 1888 he lost to the 23rd president, who served from when to when?