Clouds in the Polar Night of Mars: Modeling and Observations with the Mars Climate Sounder