Pretty sure “Michael King” was intentional; there’s a meme among white nationalists, especially the kind that Ain’t Racist or Nothin’ But... that says King’s real name is “Michael” because Senior changed his name. This is presented as some devastating indictment of both of them somehow.