20181014 city.mangaluru: District officers; locals differ over mining in night hours