i already answered - it doesn't matter. the point is they should die. how or when or who is irrelevant.
there actually is a dystopian novel ( i don't know the name ) where in a future society anybody can press a button that kills the president if they aren't happy with him. life expectancy of president is about 1 day.
it may not be a perfect system - but it's better than what we have now.