Phillips Petroleum introduces a smoking ban on the oil rig Ocean Viking, and the mayor of Stavanger speculates on whether the Americans might have found oil.