Hacker News Reader

His father did say that he knew about the name used in the book when naming his child

The book was published in 2006.

> She named Elon after her American grandfather, John Elon Haldeman (born in Illinois).