Mr. Craft died at his post. I’d love to know that whole story.