What year was the holiday named after Martin Luther King Jr?

1987