Aramco Trading sells first US West Texas Light crude to Hyundai: sources