Did the Arkansas 10th Infantry continue to exist after Port Hudson? I've been assuming that they didn't.