David,
The source is a mosaic photo from the NASA website. The Mars explorers take multiple photos which are sent back to Earth and re-assembled by universities working with the JPL.
In order, I fix the photos first, then enlarge them if necessary, convert each photo to video via software then feed it through my video editing software to make adjustments to things like colour balance and fisheye level. Save the modified MP4 file then multipass it through ffmpeg to finally adjust the sharpness level. Video is one of those things where you need to be in practice and Mars photos make good practice.
The bigger the photo the better as it improves resolution but very large images can be a problem with software and you need a lot of memory. The recent ones I have done are finally downsized to 4k @ 60 fps to reduce any shuddering as it runs.