How do you know? That detail was redacted in the story. Is there other coverage of this?