President Trump’s defence budget?