Как называется рудник в сказке хозяйка медной горы

Речь в сказке идет о руднике Красногорском (или просто о Красногорке). У Хозяйки Медной горы под этим рудником самое любимое место в ее царстве. Не желает она, чтобы горняки здесь руду добывали, и наказ свой передает через доброго молодца Степана. После некоторого сопротивления горняки решают Красногорки не касаться, но Степан после встречи с Хозяйкой так и не может зажить счастливо и в итоге умирает.