For the record: Wilmington football school record holders