Donkey Kong could have been called Kong Dong, other names