Who owns Mars? If Musk starts a colony there, wouldn’t he technically own Mars? | Hacker News Reader