What is the length of the dwarf lantern shark?

**********