How a “Voluntary” Default under An Indenture Converted an Optional Redemption Provision into a Mandatory Redemption Provision Requiring Payment of a Make-Whole Premium