Arch Coal Inc
US coal producer, renamed to Arch Resources Inc, merged into Core Natural Resources in 2025