Rock failure by thermal stress in gas drilling. (2nd August 2019)