Who was the 35th president of the United States?