Mexico buys gasoline from Europe, Asia; in rare move, Europe exports diesel to Brazil. The crippling of the U.S. Gulf Coast refining…