Trump took top secret docs out of White House