Petting a mature shark