Text this: Postwar changes in the export markets for American coal;