What was old major's real name?

Old Major in the book Animal Farm is based on making fun of Russian revolution.

Old Major's real name in the real world is Karl Marx German politician.