A Naval Biographical Dictionary/Richie, William