Coal Jobs Get a Boost—From Exports