рудник

рудни́к; копи (устар.)