Korea's reported $22B Texas gas plant, and why Seoul says it isn't final — type0 | type0