For the record: The record holders in Wilmington baseball