what was the 2010 us census population of a city where a battle sometimes called the battle for kentucky was fought ?
751