В одной из русских летописей говорится, что русский князь женился на дочери Фомы Ветхословца. Как звали этого князя?