Tenshinhan is also one of the names of a character in the Dragon Ball series. There are different kinds of names for each group of characters. I guess this is anime lore.