オキナワヒオドシウミウシは異名。