Legendary rocket scientist's 1949 science fiction novel features a Martian leader named... Elon!

Do you think Elon Musk was named after the Elon from the book?