Here’s how Orange County went broke 25 years ago