81-year-old Ed Whitlock sets record for half marathon