the one-fourth sea water reservoir in the oklahoma state park located in a county named after the ninth governor of oklahoma has , as of 2010 , a population of how many ?
5,642