Ivan and the immortal king