What is Sri Lanka's historical name?

Sri Lanka has had many names in ancient times. It was once called Heladiva. When the Portugese arrived in the 16th century they called it Ceilao which was tranlated to Ceylon in English. The name stayed Ceylon until 1972 when it became the Free, Sovereign and Independent Republic of Sri Lanka. In 1978 the name was changed and is now offically the Democratic Socialist Republic of Sri Lanka.