How to fix Brexit’s Northern Ireland protocol problem