20180730 city.mumbai: Cop names senior for stopping action against sand miners