Is “Baby Shark” the most popular song in the world? An investigation