A Naval Biographical Dictionary/Oliver, Robert