20180916 city.agra: Mayor sets target of planting 10k trees in 15 days