Divers rescue a Whale Shark from tangled ropes