The Price of Haircuts: Private and Official Default