Question: Henry Doctor, Jr was the Commanding General with how many soldiers in the 2nd Infantry Division?
Sentence (from "2nd Infantry Division (United States)"): There are approximately 17,000 soldiers in the 2nd Infantry Division, with 10,000 of them stationed in South Korea, accounting for about 35% of the United States Forces Korea personnel.
Relevant evidence: Yes