20170213 city.bengaluru: Old KGF mines can never be reopened