20200513 city.goa: Mining cos must reduce ore traffic