20180316 city.goa: 70-year-old Goa mining industry comes to halt