Radar Attenuation for Subsurface Sounding on Enceladus: Effects of a Porous Ice Layer | Synapse