В свое время Венеру рассматривали как более реальную кандидатку на тераформирование. Единственное, не знаю дожил ли до этого Берроуз. Он же писал в первой четверти 20го века.