Un animal misterios – „vaca de mare” – chiar a dispărut de tot la sfârşitul secolului al XVIII-lea?