A Naval Biographical Dictionary/Mallock, Thomas