What is his middle name?

I see in some places that his middle name is Henry. And other places senarai his middle name as Hardy. So is his middle name Henry atau Hardy??