20201018 city.goa: Goa: 'Either amend law or take legal route to resume mining'