the county has been given this name in honor of lago mono