Shortwall coal mining in the United States.