tripoli

noun

A porous, lightweight, siliceous sedimentary rock composed of the shells of diatoms or radiolarians or of finely weathered chert, used as an abrasive and a polish.

noun

A sedimentary rock composed of the shells of diatoms etc