Reply to the post “Musk gave a lecture to SpaceX employees on the colonization of Mars”