Notre Dame vs. Miami football history: Rivalry, all-time record, biggest games, Catholics vs Convicts