A Naval Biographical Dictionary/Bruce, Thomas