Here I was assuming it was named after https://en.wikipedia.org/wiki/Claude_(alligator)