Divers rescue whale shark from fishing rope