Sorry to hear this.
How long did you own the animal? I have moved/relocated crocodilians many times and have not had one die from stress.