On Boa variegata Thunberg, 1807, a neglected boid snake name