Cole Henderson, 27, was last heard from in early July. Rescue workers found his body on Aug. 8, the Spanish police said.