A Distributed Consensus Protocol with a Coordinator