Discontinued Operations (Tables)

9 Months Ended

Sep. 30, 2023

Discontinued Operations and Disposal Groups [Abstract]

Disposal Groups, Including Discontinued Operations

	Three Months Ended September 30,				Nine Months Ended September 30,
	2023		2022		2023		2022
	(in thousands)
Major classes of line items constituting loss from discontinued operations:
Revenue - launch services	$	—	$	—	$	—	$	—
Total operating costs and expenses	—		—		—		—
Operating loss	—		—		—		—
Loss from discontinued operations, before income taxes	—		—		—		—
Gain from discontinued operations	—		707		—		707
Total gain from discontinued operations, net of income taxes	—		707		—		707