What body ruled the Eisenhower was not a professional writer?