I'm pretty sure they took a loan from a more local institution, the interamerican bank for development or something like that for about $450M. They had also bought back some $200M of their debt since late last year so the repayment today was closer to $600M plus interest. Combined with the loan and just regular government revenues, it seems entirely possible that they haven't issued bonds of any kind