20180120 city.goa: Mining leases expiring in 2020 to be auctioned