Did Russian hackers blow up a Texas LNG pipeline on June 8?