Despite Trump ire, prosecuting ex-leaders is common in democracies