Judge royal — former judicial position in the Kingdom of Hungary (1127-1918)