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/000095017218...

[2] - https://www.sec.gov/Archives/edgar/data/1729650/000095017218...