Divers rescue Port Jackson shark from fishing rope