China is also the largest consumer, and runs a net deficit. Although Australia exports most of the coal and iron ore to South Korea and Japan, and probably to China, too, we also export coal to China.
Not listed among the coking coals is the coal used for electrical generation. It does not have to be of the same quality, but China uses a lot of that too. And we send them some.
My memory of a quick read of charts contained showed a deficit of ~1%. Easily covered by Australia if Trump decides to cut them off.