WATCH: Ohio State sings 'Carmen Ohio' after beating Notre Dame