20201101 city.agra: Agra metro will start operating by Dec 2022