El Tesoro compró más de US$500 millones antes del pago de deuda