Soviet Gas Pipeline: U.S. Options