20160129 city.goa: 4 more mining firms get nod to operate