A Naval Biographical Dictionary/Peat, John Green