Hasta 1972 era llamado Ceilán.