Trump weighs resuming Russian gas to Europe via U.S. intermediary