A Trans-Korean National Gas Pipeline: Feasibility Study