Warner John Jensen Jr

October 13, 1931  -  August 2, 2015