Federal holiday honoring military veterans of the United States Armed Forces.