what is the school whose city 's population was 12,515 at the 2010 census ?
trinity christian college