A Naval Biographical Dictionary/Higgins, Thomas