Why have surgeons occasionally used shark eyes to treat human patients?