former mining village