A network engineer is documenting the first-hop redundancy design for a distribution layer. The two distribution switches must present a single default-gateway IP to hosts. The design mandates the use of an open-standard protocol (not Cisco-proprietary) and must support a preemption behavior that is enabled by default so the highest-priority router automatically becomes the forwarding router when it recovers. Which protocol meets both requirements?