Detroit Medical Center formally became a part of Vanguard Health Systems on December 30, 2010, as a for profit corporation. How much will Vanguard spend to retire debt for DMC