What was the old name of Sri-Lanka?

What was the old name of Sri-Lanka?

A. Yandap
B. Ceylon
C. Karta
D. None of these