Did you know that a " Tex-Mex " version of Santa Claus known as Pancho Claus is popular in parts of the United States?