Richard H. Thomas Dies at Age of 80 Years