President Trump has pressed allies to spend more on defense. Leaders agreed that “allies” — but not “all allies” — would meet ...