Never heard of "Las Ketchup".
Me, either. Never heard of it in my life. If you want annoying dance-pop songs that were so over-played it made you want to harm someone, I would go with Mambo Number Five.
That got annoying very fast and didn't go away for a long time.