Jefferson Thomas, One of Little Rock Nine, Dies