The US Treasury Department expects the cash balance to be about $425 billion by the end of June.