Bro divers rescue whale shark from fishing rope