Home Business U.S. October budget deficit jumps to $257 billion, handing hole to Trump