Rudolph, Paul (American, born 1918)