Колонизация на Марс: Астероидите биха могли да се превърнат в основен източник на ресурси