Non-Mineral Leases - Lease Term and Discount Rate (Details)	Dec. 31, 2022	Dec. 31, 2021
Leases [Abstract]
Weighted-average term, operating leases	5 years 7 months 20 days	5 years 11 months 19 days
Weighted-average term, finance leases	6 years 7 months 6 days	7 years 5 months 26 days
Weighted-average discount rate, operating leases	2.99%	2.66%
Weighted-average discount rate, finance leases	3.40%	3.24%

Weighted average discount rate for finance lease calculated at point in time.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(4)
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI https://asc.fasb.org/extlink&oid=123414884&loc=SL77918982-209971

+ Details

Name:	us-gaap_FinanceLeaseWeightedAverageDiscountRatePercent
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	instant

- Definition

Weighted average remaining lease term for finance lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(3)
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI https://asc.fasb.org/extlink&oid=123414884&loc=SL77918982-209971

+ Details

Name:	us-gaap_FinanceLeaseWeightedAverageRemainingLeaseTerm1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_LeasesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Weighted average discount rate for operating lease calculated at point in time.

+ References

+ Details

Name:	us-gaap_OperatingLeaseWeightedAverageDiscountRatePercent
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	instant

- Definition

Weighted average remaining lease term for operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI https://asc.fasb.org/extlink&oid=123414884&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(3)
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918686-209980

+ Details

Name:	us-gaap_OperatingLeaseWeightedAverageRemainingLeaseTerm1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant