Eugene ‘Doc’ Petersen Has Died