Title: A history of Indian River county