Records of District Courts of the United States, Record Group 21; The National Archives at Fort Worth, TX.A
full list of sources can be found here.