A Naval Biographical Dictionary/Benn, Thomas