This Monday, Jan. 15 is the Martin Luther King Jr. holiday. A federal holiday since…