When Iworked for the state in the 80s we got CHD off. Then along came MLK day. For a while they combined the two... (chuckle)
Virginia did the same thing for a while...the third Monday in January was "Lee-Jackson-King Day." I'm not sure if it still is, or if the pressure groups finally succeeded in getting the Lee-Jackson dropped from the holiday. Lee-Jackson Day (a state holiday) had traditionally been the third Monday in January for many years before, so the two holidays were logically combined.
}:-)4