Isso é A.E. Vila Encantada , originalmente publicada por van Vogt em Other Worlds Science Stories em 1950. Também foi publicado sob os títulos The Sands of Mars e The Enchanted Village .
Normalmente, para esse tipo de pergunta, eu forneceria um resumo da trama para fornecer mais uma prova da identificação, mas você captou praticamente toda a história. Nesse caso, eu consegui encontrar a história em