as Virginia Governor John S. Battle