nombre antiguo de sri lanka