I didn't knew the Santana's song "El Farol" till now, when I'm first listening , and I THOUGHT THE VERY SAME THING , The first thing I thought was the song FLY ME TO THE MOON..I've seen this before with a famous pop song here in Brazil called "Lanterna dos Afogados" which afterwards I found identical (melodically) with a song called "Pensiero Stupendo" ..
it sounds like plagiarism to me