I've come across a few "references" that gave him the middle name of Carnel. Any external sources for this would be great.