Name of man killed in Webster Co. coal mine accident released

Name of man killed in Webster Co. coal mine accident released