Divers Identify Broken Pipeline as Source of US Gulf Oil Spill