20180316 city.goa: Mining stop; govt starts process to auction leases