How “YMCA” became Donald Trump’s unlikely theme song: I had wondered.