a well-known variety of calcedony, the produce of India.