20180316 city.goa: mining industry stares at a shutdown