An omission in President Trump's NATO comments has rankled some European allies. The Wall Street Journal's Julian Barnes has the story.