Trump wants to ban U.S. diesel exports. Another shock for global markets?