20200110 city.agra: Nine of gang of robbers held after encounter by Agra police