plateau striped whiptail Synonyms