Trump seized a Venezuelan oil tanker.