Who was the first Republican US president?