20171018 city.jaipur: NGT bans mining in Ranthambore park