As of 2020, who is the only US president to earn a PhD?