Kim Jong-nam was a CIA operative