When Martin Luther King Jr. was born in Atlanta, Georgia on January 15, 1929, his birth certificate listed his name as “Michael King Jr.” – after his father Michael King Senior. How and when did Michael King become Martin Luther King?
It [Xi Draconis] bore the traditional names Grumium. This is a graphic corruption of the Latin Grunnum ‘snout’, as Ptolemy had described this star as being on the jawbone of the dragon.