Who was the 42nd President of the United States?