It’s a holiday in the US to remember (and hopefully learn from) the life of The Rev Martin Luther King, Jr.