20170807 city.goa: 25 mines in Goa were run by non-leaseholders: SIT