[AstralStorm]

Alternatively, it has to be manufactured on Mars with materials available there. That is much more tenable.

By the way, hydrolox is not dinosaur juice. Methane would be but insufficient specific impulse is a problem.