OBITUARY:

Fracking pioneer George Mitchell dies at 94