Jerry Pournelle has died