The average depth of the Pacific Ocean is over 14,000 ft (almost exactly 4.3 km).
That's a lot of dredging.