 Finally, a regularly recurring fever of progressive indignation about the name of Washingtons professional football team again waned without success, which means Oklahoma will not have to change its name