Eridania Basin: An ancient paleolake floor as the next landing site for the Mars 2020 rover