the dredging equipment later gathers the rock and disposes of it