What Elon Musk’s $1.8T SpaceX IPO Means for This Texas Border Town | WSJ