Editor’s note: Some words from the third paragraph were inadvertently deleted in an earlier online version of this story.