Answer
Yes, José A. Santos is in the Hall of Fame. Santos was born in Portugal in 1913 and immigrated to the United States in 1926. He became a professional boxer in 1932 and won the world welterweight championship in 1939. He retired from boxing in 1946 and was inducted into the International Boxing Hall of Fame in 1991.