Mr. Trump’s new policy on war