20190919 city.goa: Operations shut; but quarries in Goa remain open