20170520 city.agra: Tension in Aligarh old city over mosque repair work; security up