Horizontal MultiPaxos