IIRC it was officially reported to SEC[1][2], so it is unlikely to be incorrect. Two forms, $850M each: [1] - https://www.sec.gov/Archives/edgar/data/1729650/

IIRC it was officially reported to SEC[1][2], so it is unlikely to be incorrect. Two forms, $850M each: [1] - https://www.sec.gov/Archives/edgar/data/1729650/000095017218000030/xslFormDX01/primary_doc.xml https://www.sec.gov/Archives/edgar/data/1729650/000095017218... [2] - https://www.sec.gov/Archives/edgar/data/1729650/000095017218000060/xslFormDX01/primary_doc.xml https://www.sec.gov/Archives/edgar/data/1729650/000095017218...