allan nevins and milton halsey thomas