How OSPF Propagates External Routes into Multiple Areas