Does the default route from a BGP peer count as an installed route as needed for the “if-installed-as-type-1” in OSPF?