[math-fun] Mars Discovery: Dry Ice Lake