How much will the incremental debt holders receive after all applicable taxes are paid, assuming they all pay the ordinary income tax rate?