Who is the only man to have been both chief justice and president of the US?