How many people lost their lives in the violence of Nothern Ireland?