20201101 city.goa: Expedite efforts to resume mining