20190104 city.goa: Mining operations shut; 800 homes at Ambeudok wait for water