machine use to convert coral formations gravel directly into sand