Remember John Donovan - the PCT hiker lost on San Jacinto?