The occupation of Pretoria by the British and hoisting of the Union Jack