China immediately launched its mission to Mars this July