A network administrator is designing gateway redundancy for a branch office that uses routers from two different vendors. The design requires that if the primary router fails, a backup router automatically takes over the default gateway IP address that client devices are configured to use. The administrator wants to use a vendor-neutral, open-standard protocol. Which First Hop Redundancy Protocol should be implemented?