“The city of Detroit's municipal debt rating has been upgraded 11 times over the last 10 years, moving from CCC to Baa1.”