dejah thoris and the green men of mars