Robert P. Patterson, Jr. - United States federal judge (1923-2015)