The US military budget shows just how deep Donald Trump is getting into Syria