до 1972 название острова и государства Шри-Ланка .