How much would debt default damage US? History offers clues.