Do you know who purchased the minerals in Major co Oklahoma from Riviera? Last week they announced the sale.