It’s Veteran’s Day, which was once Armistice Day — i.e., the day that commemorated the end of World War I, which ended 90 years ago today. You might think all the US veterans of that war are dead. You’d be wrong.