v3.23.2
Subsequent Events​ (Details) - Senior Secured Notes - USD ($)
$ in Millions
Aug. 10, 2023
May 13, 2020
Feb. 07, 2020
First-Lien Notes due 2025, 6.0%      
Subsequent Event [Line Items]      
Fixed interest rate   6.00%  
Debt instrument, face amount   $ 700  
Second-Lien Notes due 2028, 6.125%      
Subsequent Event [Line Items]      
Fixed interest rate     6.125%
Debt instrument, face amount     $ 900
Subsequent events | First-Lien Notes due 2025, 6.0%      
Subsequent Event [Line Items]      
Debt redemption percentage 101.50%    
Subsequent events | Second-Lien Notes due 2028, 6.125%      
Subsequent Event [Line Items]      
Debt redemption percentage 103.063%