OK, I guess the resolution suggested by Not able to abort a transaction after a cvms_receiver crash worked in this case too.
Waiting a while for the lease to expire and then retrying the abort appears to have worked.
I was not sure if it would expire because the URL http://SERVER:PORT/api/v1/leases was not showing any active leases.
Hopefully this will prove useful to someone else.