The Brexit Files: how to solve the Irish border problem