Application of drilling technology in prevention and control of water in coal mine. (June 2020)