@JordanHatch and I discussed this in the absence of any known convention in GDS apps, we agreed that the destroy action should redirect to the index if the resource was already removed (as would happen with a 2 editor race condition) but raise an error if the destroy method fails on an existing resource. I am happy to go with whatever is best practice and user experience so I'll update the action to flash a warning when destroy fails.