What would happen to a lease that was due to expire if the well had been drilled, but was never completed or set to production. The company that drilled the well then goes bankrupt, without ever pumping 1 cent of gas out of the well. What then becomes of the lease?