Question: What participant in Operation Phantom Linebacker currently has about 17,000 soldiers, 10,000 of whom are stationed in South Korea? 
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