A Naval Biographical Dictionary/Martin, Thomas