10 Norks Neutralized in Syrian Nuke Attack?

Ten North Koreans may have been killed in the Israeli airstrike against Syria's nuclear plant last September.

Bloomberg bases this report on a Japanese language news site:

The 10 people, whose remains were cremated and returned to North Korea in October, had been helping with the construction of a nuclear reactor in Syria, Japan's public broadcaster said. Some North Koreans probably survived the air attack, NHK said.

Eh, that's a shame.