WASHINGTON — Monday’s Martin Luther King, Jr. holiday, which this year falls on his actual birthday, is an annual, front-of-mind celebration of the slain civil rights leader. But we also ...