Putting some numbers on the US president’s trade war threat