michigan has mason county