¿Cómo se realizó el pago de los $800 millones de deuda pública?

¿Cómo se realizó el pago de los $800 millones de deuda pública?