# Bond redemption function