Choctaw County — county in Alabama, United States