Genus Diversidoris 6 species