John Eisenmann: designer of Ohio state flag, among notables