20150823 city.goa: Mining operations will resume after Ganesh Chaturthi: GMOEA