Title: A new method of dredging, applicable to some kinds of mining operations