extension of red mine