In what city did Thomas S. Allen perform?