Title: history of kingship in ceylon