20190701 city.agra: Water pipeline develops leak for second time in one month