Coal Officials Laugh with John L. Lewis