Nicholas Mansergh — Irish historian (1910-1991)