redemption of public debt