The limit on US public debt