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)"): The 2nd Infantry Division ("Indianhead"; "2ID," "2nd ID", or "Second D") is a formation of the United States Army.
Relevant evidence: Yes