The Mahavansi, the Raja-Ratnacari and the Raja-Vali, forming the sacred and historical books of Ceylon