I want to say that they're Eastern tiger salamanders (A. tigrinum), but I could be wrong, since the tiger salamander genuses themselves ( Save for maybe the axolotl) aren't easy to identify, since it's quite a mess. Just go with Eastern tiger salamander, since most Midwest/Northeastern zoos carry tiger salamanders of this species