A Naval Biographical Dictionary/Mansel, Thomas