Bond redemption function