Redistributing routes between two OSPF processes on the same router to connect distinct IGP domains