Editorial: The Trump era is not yet over, but it is ending – and the United States and the world is likely to benefit