填空題礦坑充水的水源主要有地下水、()、大氣降水以及老窿水等。