The help on that command states that if KEYFILE(*NONE) is specified, the
sequence of the records is not changed, but deleted records are removed.
DUH! I seem to have a talent for overlooking the obvious: I looked at a
number of manuals, but didn't even think to check the helptext!