The sea cucumber Holothurialineata Ludwig, 1875 (Holothuroidea, Aspidochirotida, Holothuriidae) re-described from the newly found type