20180316 city.goa: Ore dumped outside leases can be exported: Mines department