Officials contemplate merging Washington County into Ozaukee County