Should we terraform Venus first?