Orange County is in distress.