U.S.-based Arch Coal is one of the world's largest coal producers and marketers, with 134 million tons of coal sold in 2014.