External Hard Drives in Paxos | NisiHub