The US national debt has topped