What is one of the rough pillars of stone or coal left to support the roof of a mine called?

cog — (Mining.) One of the rough pillars of stone or coal left to support the roof of a mine. (Webster's 1913.)

Sources