Asteroid (3931) Batten