Originally a day set aside to commemorate the end of the misnamed “war to end all wars,” Nov. 11 has variously been called Armistice Day, Remembrance Day and, for many ...