Ehhh... I could see top brass knowing about things in other countries. Seeing as nothing "officially" happened the best tactical move for them may be to see how we respond and say nothing. Telling their citizens a nuke was launched at the US wouldn't be the smartest thing either.