VETERANS' DAY HOLIDAY