Today we call it Veterans Day. In years past it was called Armistice Day. But regardless of how we label it, it remains a day on which we pause to pay tribute to the Airmen, Soldiers, Sailors, Marines and Coast Guardsmen who have served our country. By taking time to remember, we honor those who