The mere fact that an admittedly ancient document, the Bible, refers to Moses falls into the "probably miraculous that anyone is named" category.
There's not really a lot of reading matter from way back when!
Does this then mean that we can be reasonably certain that people or beings named Herakles, Homer, Zeus, Isis, Chalchiuhtlicue, Ganesh, Vishnu, and Yen-Lo-Wang all existed too? If merely being mentioned in ancient texts qualifies one for certainly having existed, well then, we have a crowded hall of deities to explore.