Was that private property?
Andalux Resources had a lease which is a property right.
Anything the gubmint doesn't own is privately owned. I imagine that includes stockheld companies.