In 1883 Paul Kruger became president of what Republic?

History Trivia Question: In 1883 Paul Kruger became president of what Republic?