Exact Coupling of Random Walks on Polish Groups - James T. Murphy III (2017)