Don’t listen to Trump on NATO