"Dolphin with human ears and human hair", by Leonardo da Vinci, oil painting