Major P.J. Pretorius and the decimation of the Addo elephant herd in 1919-1920: important reassessments