20150717 city.goa: Tourism dept stops sand mining at Agonda beach