Donald Trump's trade war is an international tragedy. But it could have a happy ending if it eventually reminds us of the risks that free trade imposes on people, and if we improve our insurance mechanisms to help them.