20180821 city.agra: Rename Raja Mandi station after Atal Bihari Vajpayee ; mayor to centre