Last debt was 3.4B USD on Mar 31. But they were also asking for taxes since the day after.
https://www.sec.gov/Archives/edgar/data/230098/000119312525055423/d921394d18ka.htm
18-K/A 1 d921394d18ka.htm 18-K/A
UNITED STATES
SECURITIES AND EXCHANGE COMMISSION
Washington, D.C. 20549
FORM 18-K/A...