James E. Pinto

August 7, 1934  -  November 10, 2022