History of the Royal Hibernian Military School of Dublin.