Title: Default risk and the price of punishment