Amerikas kolproduktion niodubblats och exporten sextondubblats.