Mars radar scattering: Arecibo/Goldstone results at 12.6- and 3.5-cm wavelengths