How a Trump property sheriff's auction would work