Revenues (Schedule of Remaining Unsatisfied Performance Obligations) (Details) $ in Thousands	9 Months Ended
	Sep. 30, 2023 USD ($)
Revenue from Contract with Customer [Abstract]
Remaining performance obligation, cancellation period	30 days
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 2,800,000
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 1,039,780
Remaining performance obligation, expected timing of satisfaction period	3 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 19,042
Remaining performance obligation, expected timing of satisfaction period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 1,769,639
Remaining performance obligation, expected timing of satisfaction period