Korean business days: check a date, add N business days, or count a range (public holidays 2018–2027).