Mason County Public Utility District No. 3