Sri Lanka formerly known as