Leases (Details) $ in Millions	12 Months Ended
	Dec. 31, 2023 USD ($) a	Dec. 31, 2022 USD ($)	Dec. 31, 2021 USD ($)
Ole Red [Member] | Minimum [Member]
Lessee, Lease, Description [Line Items]
Operating lease, term of lease	5 years
Operating lease, renewal term	5 years
Ole Red [Member] | Maximum [Member]
Lessee, Lease, Description [Line Items]
Operating lease, term of lease	10 years
Operating lease, renewal term	55 years
Land in Osceola County, Florida [Member]
Lessee, Lease, Description [Line Items]
Area of leased property | a	65.3
Lease expiration year	2074
Expiration date of lease under extension	Jan. 31, 2101
Contingent rental expense | $	$ 3.5	$ 3.0	$ 1.8