高丽与蒙元的联姻是高丽王入赘到蒙元，而不是蒙元公主下嫁到高丽。