Leases - Operating Leases - Lessor (Details) $ in Millions |
Apr. 30, 2025
USD ($)
lease
|
|---|---|
| Leases [Abstract] | |
| Number of long-term leases, ships | lease | 4 |
| Lease term (in Years) | 10 years |
| Aggregate lease payments | $ | $ 600 |
| X | ||||||||||
- Definition Number of long-term leases, ships, expected to be operating leases and contain purchase option at end of lease term. No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Term of lessor's operating lease not yet commenced, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lease payments to be received by lessor for operating lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|