20180113 city.goa: Use anti-pollution measures; mining companies told