Más de 800 documentos y 3.300 páginas: así monitoreó EE.UU. a Lula durante décadas