does anyone have a Twitter post about elons name originating from the ruler of Mars in a Nazi book ? or a solid link about it beyond a reddit thread?