Thom's Irish Who's Who/de Robeck, Admiral Sir John Michael