I agree this seems weirdly good timing for our unpopular democrats who, coincidentally, are called weak on defense. Which just happens to be a voter priority.
Currently, I trust nothing our government says or asserts.
I know they've conducted terrorist operations outside of the Korean Peninsula, but it just seems implausible that they would have the manpower to have real assets in this country-let alone commandos-in the same way that Cuba/DGI or Iran/Hezbollah does.