Martin Luther King, Jr's original first name was Michael, and he changed it when he was in 6th grade. (I'm not sure whether it was Michael Luther King or just Michael King.) Was his father's first name Martin or Michael?