A Naval Biographical Dictionary/Oliver, Robert (a)