Military history of early Ceylon is HERE