How did Martin Luther King Jr. Day become a federal holiday? Here’s the history Corrections