Trump’s $4 trillion budget helps move deficit sharply higher