China buys 80% of Iran's oil exports. Treasury sanctioned a tanker and a Hong Kong shipper — not the banks tied to the U.S. financial system.