About the Latin name of the Japanese sea cucumber