The controversy involved in making Martin Luther King, Jr. Day a holiday