Obituary for Petro, John