20200530 city.goa: CM brings in IAS officer to head mines dept