Question: What participant in Operation Phantom Linebacker currently has about 17,000 soldiers, 10,000 of whom are stationed in South Korea? 
Sentence (from "List of tallest buildings in South Korea"): This list of tallest buildings in South Korea ranks skyscrapers in South Korea by height.
Relevant evidence: No