You just read:

Arch Coal to Change its Name to Arch Resources

News provided by

Arch Coal, Inc.

May 01, 2020, 08:00 ET