... Lanka (formerly known as Ceylon)