Yeah, people seem to forget that "default" is a technical legal term meaning failure to fulfill a contractual obligation, in this case failure to make an interest payment on a bond by a specified date. If they didn't make the payment today, then they are in default. Bankruptcy is a more nebulous term and can refer to the filing, the court proceeding, or the final judgement. Being in default is a matter of fact and is not dependent on any of that.