North Korean leader’s slain half-brother was a CIA informant: Wall Street Journal