What the Europeans did to Sri Lanka