NBC: World leaders offer condolences to South Korea after Halloween tragedy