20180107 city.goa: 160 mining leases to be auctioned in 2020