US coal: could exporting to Asia offer a lifeline to a dying industry?