Alfred Eno Woodward Jr. — lawyer, judge and naval officer (1913-2007)