What would happen to the US if it paid off its debt?