Trump’s military shuffle in Europe will take time and be costly