what is federal debt held by the public