Which option is mandatory when redistributing OSPF routes into EIGRP?