How embarrassing. I hadn’t had enough coffee. I mistook “Roberson county” for Robertson Co., TX.
How further embarrassing. “Robeson.” Going back to bed.