Tripoli

Etymology

Named after the city of Tripoli, one of the historical sources from which the polishing rock was traded.