Title: The Dipavamsa and the Mahavamsa and the historical tradition in Ceylon