Are US troops not in South Korea, in oart to deter NK aggression ?
Yes they are there to deter aggression, not to attack NK. Huge difference between just maintaining a presence to try to deter things than to actually go to war with someone.
Somehow I don't think they'd still be there if China decided to get involved, the US cannot commit to that.