The elephant in South Africa: history and distribution