Was the president who appointed Thomas C. Mann a democrat or a republican?