20120819 city.goa: Govt halts Cudnem mine operations after riot