Question: What participant in Operation Phantom Linebacker currently has about 17,000 soldiers, 10,000 of whom are stationed in South Korea? 
Sentence (from "Operation Phantom Linebacker"): The U.S. III Corps uses ‘Phantom’ as its nickname.
Relevant evidence: No