Der Tech-Milliardär wollte laut einer Zeugenaussage im Jahr 2017 rund 80 Milliarden Dollar für den Aufbau einer Stadt auf dem Mars.