who was the twenty fifth president of the united states of america