Failure protocol now handles already-dead leaders