It’s not much of a problem. The State of Texas just has to cover the cost of building a mosque on the site.
I believe there would be more than 185 defenders to oppose that nonsense if it ever came about...