Waha Oil’s “strike” is over—production to resume by December, says a company spokesman: http://online.wsj.com/article/SB10001424052970204190504577039912761775368.html