Divers rescue a whale shark from tangled fishing rope