Has Duke ever beaten Notre Dame in football?