Is a date a Korean business day? Weekday, weekend flag, and official Korean public holiday names (including substitute and temporary holidays) from the KASI special-day list.