Banks, Mike, 1922-2013