The former name of Sri Lanka was-