Who was both the 22nd and the 24th president of the United States?