What is the cistern or reservoir made at the lowest point of a mine, from which is pumped the water which accumulates there called?

sump — The cistern or reservoir made at the lowest point of a mine, from which is pumped the water which accumulates there. (Webster's 1913.)

Sources