Jerry Pournelle King David’s Spaceship 1980 BCE HCDJ SF