Johnson to lead Gulf Oil

Eric Johnson has taken the helm at Gulf Oil
as president and chief executive officer, roles vacated by Jerry
Ashcroft on June 10 as he left the company to pursue other interests.