Spain’s Repsol Resumes Export of Venezuelan Oil to Europe