$9 billion judgment debt