A debate about the best way to colonize Mars. Should humans try to restart the Martian core or set up a satellite network?