斯裡蘭卡的舊稱。