Lucky you were listening to music, thefts like these are very common in my country, and I've learned to always put on some music whenever I'm in closed spaces with a lot of people.