From what I read, the dead cap hit would be significant, but manageable for Houston.
It’s never really happened before, but Houston is in a uniquely difficult predicament. Maybe it’s not likely, but it’s possible, and actually makes some sense. It should not be dismissed out of hand.