Trump hates the WTO, but he’s still taking the trade war there