20190827 city.goa: Soon; 'emergency' water lines to tide over shortages?