A Naval Biographical Dictionary/Hodder, Michael