A Lacustrine Paleoenvironment Recorded at Vera RubinRidge, Gale Crater: Overview of the Sedimentology and Stratigraphy Observed by the Mars ScienceLaboratory Curiosity Rover