Happy Veterans Day to All Who Have Served Our Great Nation

Today is Veterans Day, an official, federal holiday here in the United States.  It is a day intended to honor and thank all of the military personnel who have served our great country; these men and women are known as veterans.  Veterans Day originated as a day set aside to remember the anniversary of the end of World War I.  For the battles of World War I formally ended at the 11^th hour of the 11^th day of the 11th month in the year 1918.