the ancient name of the island of Ceylon. See Ceylon, and Geography, No. 28.