county executive — head of a county government in the United States