Jim Mattis begins to build Donald Trump’s bigger, deadlier military