A Naval Biographical Dictionary/Oliver, George Colin