naive question but could we resolve this with asteroid mining?