Answer the following question. The country of Sri Lanka was formerly known by what name?
ceylon