Public Debt as a Punching Bag: An Agency Model of the Mix of Public and Private Debt