20180109 city.goa: 21 mining leases get 3-month nod