Holiday hours: Veterans' Day