Military history of Sri Lanka