U.S. debt jumps $400 billion — tops $17 trillion