How Does OSPF Generate Default Routes?