Is NATO redundant?