Russia allows entry of thousands of North Korean workers: WSJ