Oh,�.and another question immediately came to mind for the first Yidden to land on Mars. Do you bench lavana twice a month (one for each moon). If so, it gets a bit more complicated when you land on Jupiter with 67 known moons.
Why would you say kiddush levana based on another planet’s “moon”?