García de Enterría, Javier   Library of Congress