were real alligators used in the happiest millionaire