Which of these songs was a Top 10 hit for the rock band The Police?
'Radio Ga-Ga'
'Ob-la-di, Ob-la-da'
'De Do Do Do, De Da Da Da'
'In-a-Gadda-Da-Vida'