Who was the first U.S. president to have been divorced?