Share Do Coal Investors Really Care About Exports?