A coal-mine, coal-pit, or place where coals are dug, with the engines and machinery used in discharging the water and raising the coal.