j. r. r. tolkien, christopher tolkien