RICHARD TREVITHICK'S PUFFING DEVIL