U.S. federal holiday honoring military veterans; also celebrated as Armistice Day or Remembrance Day in other parts of the world, commemorating the ending of World War I