The official United States holiday known as Veterans Day was originally called Armistice Day for the purpose of celebrating the formal end of World War I in an Armistice with Germany, “which ended at the…