Get used to hearing the name "Jezero Crater." It's the landing site for NASA's Mars 2020 rover. The 2020 rover…