A Naval Biographical Dictionary/Mangles, James