A good place to find information on ponds (both indoor and outdoor)is Tropical Fish Hobbyist magazine. There are all kinds of ads for ponds and pond construction. Pick up an issue and check the back section.
But plan to get the largest one you can afford....that little boy will swimming and diving like crazy in a few years and will need something pretty big. Oh, the gator will need something large too.