Editor's notebook: Saying thanks on Veterans Day