I'd vote against the Martin Luther King Holiday as well, it's bad form to honor adulterers.

For the record I'd vote against Columbus Day as well, there are better people to honor than either of them....