Commandor
Как ни странно но называть Гарри -Генри это ближе к истине чем Гарольдом.
Дело в том что Генри это имя французского происхождения (Анри) и Гарри это одна из его народных форм. Большинство английских королей по имени «Генри» называли «Гарри».

Но тут конечно прикол, имя Гарри давно перестало быть только сокращением от Генри, оно давно уже самостоятельное имя.
Т.е. Назвать Генри-Гарри это нормально, а вот прежде чем называть того кого зовут Гарри -Генри нужно уточнить, действительно ли Гарри было сокращением.