I agree that it likely is a nothingburger, but I wonder what the ratio looks like. The coal industry was probably much more sizeable than the number of workers

I agree that it likely is a nothingburger, but I wonder what the ratio looks like. The coal industry was probably much more sizeable than the number of workers working on rockets.