7/16/18The link to a Washington Post article in that same sentence says 22,000 tons. Not a lie, at worst unclear sourcing.