A Naval Biographical Dictionary/Mann, Robert