Mars via Venus: a Numerical Study of Spacecraft Trajectories for Mars Return Journeys | Synapse