A cement made in India from sea shells, pulverized and mixed with oil, and spread over a ship's bottom, to prevent the boring of worms.