Leases (Details)	9 Months Ended
	Sep. 30, 2023 a
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	65.3
Lease expiration year	2074
Expiration date of lease under extension	Jan. 31, 2101