You are aware, that MLK’s real name wasn’t Martin, aren’t you? It was Michael.
His father changed his name, the trivia point doesn’t interest me though.