@drill The only other US zoos I know they're at is Fort Worth. This species is very commonly imported as prasinus and therefore mislabeled when they get into zoos.
Sometimes it's really hard to tell the difference between the two and looking back I'm not 100% confident in this identification but in general kordensis has a more 'lacey' pattern on their back while prasinus has stripes.