Papilio agestor, Gray (1831)