John E. Walsh, Who Distilled the Bible, Dies at 87