A Naval Biographical Dictionary/Carpenter, Thomas