St. Lucie County Dennis Trefelner