Mariner, David,1920-