Teixeira leaked highly classified Pentagon documents to an online platform popular with gamers.