Europe doesn't need US gas, but might buy it anyway