Obituary: Robert E. “Bob” Thomas, 90, of Huntington