The long struggle to establish Martin Luther King Jr. Day