A Naval Biographical Dictionary/Pinto, Thomas