Theodore "Ted" John Jorgensen (born 1917)