Lịch sử quân sự Sri Lanka