I think you are seriously under-estimating the complexity of terraforming if you think this NASA policy might be a big hurdle...