a kind of pick-axe used by miners.