What is an iron bucket, which slides between guides, for hoisting mineral and rock called?

skip — (Mining) An iron bucket, which slides between guides, for hoisting mineral and rock. (Webster's 1913.)

Sources