Is this named for John C. Pace? or another Pace? or the Pace family in general? dcosson ··· talk 12:57, 20 May 2007 (CDT)