Discrete aurora and the nightside ionosphere of Mars: an EMM–MEX conjunction of FUV imaging, ionospheric radar sounding, and suprathermal electron measurements | Synapse