Ah, but the trick is that A) Trump doesn't care and B) the treaty says nothing about selling the moon off to corporate entities. I could definitely see this admin selling mining rights, that's why Isaacman wants a moon base as opposed to an orbital station (which was the initial plan, as a launching point for future inner and outer system exploration).