El gobierno ha pagado $939.5 millones en servicio de deuda