Thank you, veterans!

Today, Friday, November 11th, is Veterans Day (originally known as Armistice Day), a federal holiday in the United States…