What punishment should society impose on a prisoner, already in for life, who murders a correctional officer?

1) Death.
2) No punishment at all (i.e., a meaningless additional prison sentence).

A jury in Everett, Washington made the correct choice today.  Steve Miletich has this story for the Seattle Times.