Title: The U.S. coal industry