Being covered by the umbrella is not the same as stationing tactical nuclear weapons on south korean soil. If they are not advertising it then how would you know anyhow? And maybe they were present between 1951-53 or whenever but the deal as you point out is that they had to be removed so that's that.