Do maps make geography? Part 1: Redlining, planned shrinkage, and the places of decline