what is the difference between armistice day and veterans day