Porous domes as wind noise filters for infrasound sensing on Mars