“One of Elon Musk's performance targets requires SpaceX to establish a permanent human colony on Mars with at least 1 million inhabitants.”