Trump says U.S. will take Iran’s oil-export hub Kharg Island. Here’s what his threat really means.