Captain John O. Hall, resident of Tyler, Texas, died on July 12, 2025. He was born in Clayton, NM on December 7, 1933, the ...