Divers identify broken pipeline as source of Gulf oil spill