How OSPF Injects a Default Route into a Not So Stubby Area