David Ketchum, a voice actor and comedian who played Agent 13 on “Get Smart” and appeared in “Camp Runamuck,” died on Aug. 10 ...