$25 mil millones de fondo de pensiones público saliendo de las tenencias del Tesoro de EE. UU.