Who was the 35th President of the US?