“The primary export market for Gulf oil and gas producers is Asia, not Europe or the United States.”