Back in Virginia, the official holiday used to be Lee-Jackson-King day. They separated them into Lee-Jackson day and the federal MLK day since I moved from there.