20160727 city.mangaluru: Ban on use of sand mining machines