A Punch cartoon of 15 August 1857 entitled “Execution of John Company”