larger Pacific striped octopus Synonyms