Did he have a middle name, or was the Harry a contraction of something else such as Harold?

Did people not make jokes about things like that back in the '30s or '50s when he was mayor?