Distortion of radar pulses by the Martian ionosphere | AGU Journals & Magazine | IEEE Xplore