A network team wants their two edge routers to actively share the traffic load from 300 workstations that all use a single default gateway address. Both routers should forward traffic simultaneously while still providing redundancy if one fails. Which first hop redundancy protocol best meets this requirement?