Oil executives lobbied against diesel export ban - WSJ