RIP Mike Resnick