US intelligence leak: what do we know about ‘top secret’ documents?