Exclusive: Aramco Trading sells first U.S. West Texas Light crude to South Korea's Hyundai - sources